Another Version of Proteus
نویسندگان
چکیده
منابع مشابه
YAWL : Yet Another Workflow Language ( Revised version )
Based on a rigorous analysis of existing workflow management systems and workflow languages, a new workflow language is proposed: YAWL (Yet Another Workflow Language). To identify the differences between the various languages, we have collected a fairly complete set of workflow patterns. Based on these patterns we have evaluated several workflow products and detected considerable differences in...
متن کاملAnother version of "exotic characterization of a commutative H∗-algebra"
Theorem 1.1. Let A be a semisimple complex Banach algebra with the following properties: (i) for every closed right ideal R in A, there exists a closed left ideal L such that R∩L= {0} and R+ L= A (each a∈ A can be written in the form a= a1 + a2 with a1 ∈ R, a2 ∈ L); (ii) if a,b in A are such that ab = ba= 0, then ‖a+ b‖2 = ‖a‖2 +‖b‖2. Then A is a commutative proper H∗-algebra [1]. It is easy to...
متن کاملBacteriophage typing of Proteus mirabilis, Proteus vulgaris, and Proteus morganii.
A bacteriphage typing scheme for differentiating Proteus isolated from clinical specimens was developed. Twenty-one distinct patterns of lysis were seen when 15 bacteriophages isolated on 8 Proteus mirabilis, 1 P. vulgaris, and 1 P. morganii were used to type 162 of 189 (85.7%) P. mirabilis and P. vulgaris isolates. Seven phages isolated on 3 P. morganii were used to type 13 of 19 (68.4%) P. mo...
متن کاملYet Another Decision Procedure for Equality Logic (full version)
We introduce a new decision procedure for Equality Logic. The procedure improves on Bryant and Velev’s sparse method [4] from CAV’00, in which each equality predicate is encoded with a Boolean variable, and then a set of transitivity constraints are added to compensate for the loss of transitivity of equality. We suggest the Reduced Transitivity Constraints (rtc) algorithm, that unlike the spar...
متن کاملREVISED version Yet Another Top-level Ontology: YATO
Upper ontology plays the critical role in ontology development by giving developers a guideline of how to view the target domain. Although some upper ontologies such as DOLCE, BFO, GFO, SUMO, CYC, etc. are already developed and extensively used, a careful examination of them reveals some room for improvement in a couple of respects. This paper discusses YATO: Yet Another Top-level Ontology whic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Iowa Review
سال: 1992
ISSN: 0021-065X,2330-0361
DOI: 10.17077/0021-065x.4186